781. Reliable software technologies--Ada-Europe 2012
المؤلف: Mats Brorsson, Luís Miguel Pinho (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Ada (Computer program language), Congresses,Computer software-- Reliability, Congresses,Software engineering, Congresses
رده :
QA76
.
76
.
R44
A33
2012eb
782. Reliable software technologies, Ada-Europe 2010 :
المؤلف: Jorge Real, Tullio Vardanega (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Reliability, Congresses.,Software engineering, Congresses.
783. Reliable software technologies--Ada-Europe 201
المؤلف: Alexander Romanovsky, Tullio Vardanega (eds.)
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع: Computer software, Reliability, Congresses,Software engineering, Congresses
رده :
QA
،
76
.
76
،.
R44
784. Reliable software technologies--Ada-Europe 2009
المؤلف: Fabrice Kordon, Yvon Kermarrec (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Reliability, Congresses
رده :
QA76
.
76
.
R44
A33
2009
785. Requirements Engineering
المؤلف: \ Samuel A. Fricker , Kurt Schneider (Eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Requirements engineering -- Congresses.,Computer software -- Quality control -- Congresses.,مهندسی نیازمندی‌ها -- کنگره ها ,نرم‌افزار -- کنترل کیفی -- کنگره ها
رده :
QA
76
.
758
.
R4
2015
E-Book
,
786. Requirements Engineering with Use Cases. - a Basis for Software Development
المؤلف: Regnell,Bjorn
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: ، System design -- Congresses,، System analysis -- Congresses,، Computer software -- Development -- Congresses
رده :
QA
76
.
9
.
R46
1999
787. Requirements engineering :
المؤلف: Eric Knauss, Michael Goedicke (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Quality control, Congresses.,Requirements engineering, Congresses.,Computer software-- Quality control.,Requirements engineering.
رده :
QA76
.
758
788. Requirements engineering: Foundation for software quality
المؤلف: Björn Regnell, Daniela Damian (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Quality control, Congresses,Requirements engineering, Congresses
رده :
QA76
.
758
.
R44
2012eb
789. Requirements engineering: foundation for software quality :
المؤلف: Daniel Berry, Xavier Franch (editions.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Requirements engineering, Congresses
رده :
QA76
.
758
.
R44
2011
790. Requirements targeting software and systems engineering : International Workshop RTSE'97, Bernried, Germany, October 12-14, 1997 : proceedings
المؤلف: Manfred Broy, Bernhard Rumpe, )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Software engineering,Congresses ، Systems engineering
رده :
QA
76
.
L28
Vol
.
1526
791. Research and education in robotics-EUROBOT 2008 :
المؤلف: Achim Gottscheber, Stefan Enderle, David Obdrzalek (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Machine theory, Congresses.,Robotics, Congresses.,Robots, Congresses.,Informatique.,Machine theory.,Robotics.,Robots.,TECHNOLOGY & ENGINEERING-- Robotics.
رده :
TJ210
.
3
.
E976
2009eb
792. Research in Attacks, Intrusions, and Defenses
المؤلف: \ edited by Herbert Bos, Fabian Monrose, Gregory Blanc.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Intrusion detection systems (Computer security) -- Congresses. ,Computer science. ,Software engineering. ,علوم کامپیوتر,مهندسی ن‍رم اف‍زار
رده :
QA76
.
76
.
R41
2015
E-Book
,
793. Research in systems analysis and design :
المؤلف: Stanisław Wrycza (ed.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: System analysis, Congresses.,System design, Congresses.,Systems programming (Computer science), Congresses.
رده :
QA76
.
9
.
S88
S54
2011
794. Reuse in emerging software engineering practices :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer software ; Reusability ; Congresses. ;
795. Reuse in the Big Data Era :
المؤلف: Xin Peng, Apostolos Ampatzoglou, Tanmay Bhowmik (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Reusability, Congresses.,Systems engineering, Congresses.,Computer software-- Reusability.,Systems engineering.
رده :
QA76
.
76
.
R47
I587
2019
796. Reversible computation :
المؤلف: Michael Kirkedal Thomsen, Mathias Soeken (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Reversible computing, Congresses.,Computer logic.,Computer science-- Mathematics.,Reversible computing.
رده :
QA76
.
9
.
R48
797. Reversible computation :
المؤلف: Robert Glück, Tetsuo Yokoyama (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer logic -- Congresses.,Computer science -- Mathematics -- Congresses.,Reversible computing -- Congresses.
رده :
QA76
.
9
.
L63
R634
2013
798. Risks and Security of Internet and Systems :
المؤلف: edited by Nora Cuppens, Frédéric Cuppens, Jean-Louis Lanet, Axel Legay, Joaquin Garcia-Alfaro.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer networks-- Security measures, Congresses.,Internet-- Security measures, Congresses.,Artificial intelligence.,Artificial intelligence.,Coding theory & cryptology.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Computers.,Data encryption (Computer science),Expert systems-- knowledge-based systems.,Information retrieval.,Information technology: general issues.,Software engineering.,Software Engineering.
رده :
QA76
.
758
I58
2017
799. RoboCup 2017 :
المؤلف: Hidehisa Akiyama, Oliver Obst, Claude Sammut, Flavio Tonidandel (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Robotics, Congresses.,Soccer-- Computer simulation, Congresses.,Artificial Intelligence.,Image Processing and Computer Vision.,Software Engineering.,Special Purpose and Application-Based Systems.,Systems and Data Security.,User Interfaces and Human Computer Interaction.,Artificial intelligence.,Artificial intelligence.,Computer security.,Computers-- Computer Graphics.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Computers-- User Interfaces.,Expert systems-- knowledge-based systems.,Image processing.,Robotics.,Soccer-- Computer simulation.,Software Engineering.,User interface design & usability.
رده :
TJ210
.
3
800. Rule-based modeling and computing on the Semantic Web :
المؤلف: Frank Olken, Monica Palmirani, Davide Sottara (editions.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Decision making-- Data processing, Congresses,Document markup languages, Congresses,Management information systems, Congresses,Metadata-- Standards, Congresses,Semantic Web, Congresses
رده :
QA76
.
76
.
H94
R85
2011
